Buy Used and New Mario Bravetti Books

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642040801

Format: Paperback (638 pages)
Publisher: Springer
Published: 17 Aug 2009

Save for later

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers: 7th ... / Programming and Software Engineering)

by

ISBN 13: 9783642195884

Format: Paperback (199 pages)
Publisher: Springer
Published: 31 Mar 2011

Save for later

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ... 3670 (Lecture Notes in Computer Science)

by Leila Kloul,Mario Bravetti,Gianluigi Zavattaro

ISBN 13: 9783540287018

Format: Paperback (368 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings: 8137 (Lecture Notes in Computer Science)

by Robert M. Hierons,Mercedes G. Merayo,Mario Bravetti

ISBN 13: 9783642405600

Format: Paperback (340 pages)
Publisher: Springer
Published: 12 Sep 2013

Save for later

Behavioral Types in Programming Languages (Foundations and Trends (R) in Programming Languages): 8 (Foundations and Trends® in Programming Languages)

by Davide Ancona, Viviana Bono, Mario Bravetti

ISBN 13: 9781680831344

Format: Paperback (156 pages)
Publisher: Now Publishers Inc
Published: 03 May 2016

Save for later